1. Thinking about G?�del and Turing
پدیدآورنده: / Gregory J Chaitim
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
رده :
QA
,
9
.
65
,.
C43
,
2007
